Mathematical Programs with Complementarity Constraints in Banach Spaces

We consider optimization problems in Banach spaces involving a complementarity constraint defined by a convex cone K. By transferring the local decomposition approach, we define strong stationarity conditions and provide a constraint qualification under which these conditions are necessary for optimality. To apply this technique, we provide a new uniqueness result for Lagrange multipliers in Banach spaces. Under the additional assumption that the cone K is polyhedral, we show that our strong stationarity conditions possess a reasonable strength. Finally, we generalize to the case that K is not a cone and apply the theory to two examples.